Steven S. Muchnick: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficient instruction scheduling for a pipelined architecture

Muchnick, Steven S., Gibbons, Phillip B.

Journal:

ACM SIGPLAN Notices

Year:

2004

File:

PDF, 1.27 MB

2004

2

[ACM Press the 6th ACM SIGACT-SIGPLAN symposium - San Antonio, Texas (1979.01.29-1979.01.31)] Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79 - Flow analysis and optimization of LISP-like structures

Jones, Neil D., Muchnick, Steven S.

Year:

1979

Language:

english

File:

PDF, 942 KB

english, 1979

3

[ACM Press the 1980 ACM conference - Stanford University, California, United States (1980.08.25-1980.08.27)] Proceedings of the 1980 ACM conference on LISP and functional programming - LFP '80 - A semantic comparison of LISP and SCHEME

Muchnick, Steven S., Pleban, Uwe F.

Year:

1980

Language:

english

File:

PDF, 687 KB

english, 1980

4

[IEEE 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Syracuse, NY, USA (1980.10.13-1980.10.15)] 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra

Jones, Neil D., Muchnick, Steven S.

Year:

1980

Language:

english

File:

PDF, 642 KB

english, 1980

5

[ACM Press the 1986 SIGPLAN symposium - Palo Alto, California, United States (1986.06.25-1986.06.27)] Proceedings of the 1986 SIGPLAN symposium on Compiler contruction - SIGPLAN '86 - Efficient instruction scheduling for a pipelined architecture

Gibbons, Philip B., Muchnick, Steven S.

Year:

1986

Language:

english

File:

PDF, 629 KB

english, 1986

6

Even Simple Programs Are Hard To Analyze

Jones, Neil D., Muchnick, Steven S.

Journal:

Journal of the ACM

Year:

1977

Language:

english

File:

PDF, 830 KB

english, 1977

7

[ACM Press the 3rd ACM SIGACT-SIGPLAN symposium - Atlanta, Georgia (1976.01.19-1976.01.21)] Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76 - Binding time optimization in programming languages

Jones, Neil D., Muchnick, Steven S.

Year:

1976

Language:

english

File:

PDF, 1.21 MB

english, 1976

8

The Vectorized Grzegorczyk Hierarchy

Steven S. Muchnick

Journal:

Mathematical Logic Quarterly

Year:

1976

Language:

english

File:

PDF, 1.97 MB

english, 1976

9

Isotope effects on intensities and excitation exchange interactions in the T1 state of crystalline naphthalene

Teresa L. Muchnick, Robert E. Turner, Steven D. Colson

Journal:

Chemical Physics Letters

Year:

1976

Language:

english

File:

PDF, 544 KB

english, 1976

10

The theory of interacting linear exciton bands in neat molecular crystals

Steven D. Colson, Teresa L. Muchnick

Journal:

Chemical Physics

Year:

1974

Language:

english

File:

PDF, 475 KB

english, 1974

11

Electronic and vibrational energy transfer and relaxation in crystalline ϱ-dibromodenzene

Teresa L. Muchnick, Steven D. Colson

Journal:

Chemical Physics

Year:

1978

Language:

english

File:

PDF, 845 KB

english, 1978

12

Dbxtool: A window-based symbolic debugger for sun workstations

Evan Adams, Steven S. Muchnick

Journal:

Software: Practice and Experience

Year:

1986

Language:

english

File:

PDF, 1.01 MB

english, 1986

13

Computational Complexity of Multiple Recursive Schemata

Muchnick, Steven S.

Journal:

SIAM Journal on Computing

Year:

1976

Language:

english

File:

PDF, 2.40 MB

english, 1976

14

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

Review by: Steven S. Muchnick

Journal:

Journal of Symbolic Logic

Year:

1977

Language:

english

File:

PDF, 98 KB

english, 1977

15

[ACM Press the 9th ACM SIGPLAN-SIGACT symposium - Albuquerque, Mexico (1982.01.25-1982.01.27)] Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 - A flexible approach to interprocedural data flow analysis and programs with recursive data structures

Jones, Neil D., Muchnick, Steven S.

Year:

1982

Language:

english

File:

PDF, 727 KB

english, 1982

16

Courcelle B.. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302.de Barker J. W. and Zucker J. I.. Derivatives of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343.Engeler E.. An algorithmic model of strict finitism. Mathematical logic in computer science, ed

Muchnick, Steven S.

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 330 KB

english, 1984

17

[ACM Press the annual conference - Houston, Texas, United States (1976.10.20-1976.10.22)] Proceedings of the annual conference on - ACM 76 - Sigops(Paper Session)

Ward, Ronnie G., Ward, Darrell L., Cheriton, David, Muchnick, Steven S., Sayani, Hasan H., Tomlinson, Robert Trueman

Year:

1976

Language:

english

File:

PDF, 28 KB

english, 1976

18

The Complexity of Finite Memory Programs with Recursion

Jones, Neil D., Muchnick, Steven S.

Journal:

Journal of the ACM

Year:

1978

Language:

english

File:

PDF, 521 KB

english, 1978

19

[ACM Press the 2nd ACM SIGACT-SIGPLAN symposium - Palo Alto, California (1975.01.20-1975.01.22)] Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75 - Even simple programs are hard to analyze

Jones, Neil D., Muchnick, Steven S.

Year:

1975

Language:

english

File:

PDF, 886 KB

english, 1975

20

[ACM Press the fourth annual ACM symposium - Denver, Colorado, United States (1972.05.01-1972.05.03)] Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72 - Subrecursive program schemata I & II(I. Undecidable equivalence problems, II. Decidable equivalence problems)

Constable, Robert L., Muchnick, Steven S.

Year:

1972

Language:

english

File:

PDF, 758 KB

english, 1972

21

[ACM Press the annual conference - Houston, Texas, United States (1976.10.20-1976.10.22)] Proceedings of the annual conference on - ACM 76 - The command interpreter and command language design of the com-share COMMANDER II system

Muchnick, Steven S.

Year:

1976

Language:

english

File:

PDF, 504 KB

english, 1976

22

[ACM Press the 1982 ACM symposium - Pittsburgh, Pennsylvania, United States (1982.08.15-1982.08.18)] Proceedings of the 1982 ACM symposium on LISP and functional programming - LFP '82 - A fixed-program machine for combinator expression evaluation

Jones, Neil D., Muchnick, Steven S.

Year:

1982

Language:

english

File:

PDF, 512 KB

english, 1982

23

Structured Computer Organizationby Andrew S. Tanenbaum

Review by: Steven S. Muchnick

Journal:

American Scientist

Year:

1976

Language:

english

File:

PDF, 345 KB

english, 1976

24

Efficient instruction scheduling for a pipelined architecture

Gibbons, Philip B., Muchnick, Steven S.

Journal:

ACM SIGPLAN Notices

Year:

1986

Language:

english

File:

PDF, 629 KB

english, 1986